科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:架构支持运行时集成和基于组件的系统系统的验证
Hans-gerhard Gross;
机译:BIP框架中基于组件的系统的运行时验证,具有经过正式验证的健全且完整的工具
机译:用于支持犯罪分析的系统,服务和数据集成的基于组件的体系结构
机译:集成运行时观测和基于组件的模型的架构运行时模型
机译:架构支持运行时的集成和验证组件的系统系统
机译:分布式多处理器系统的规范和运行时验证:语言,工具和体系结构。
机译:嵌入式实时系统的运行时验证
机译:对基于组件的系统的运行时集成和验证的体系结构支持
机译:用于提供与服务组件体系结构(SCA)运行时的事务监视器集成的系统和方法
机译:用于提供带有服务组件体系结构(SCA)运行时的事务监控器集成的系统和方法
机译:基于组件的系统中的运行时监视
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。